and Implementation

Results: 26428



#Item
411Design and implementation of a compressed linked list library Yoran Heling Design and implementation of a compressed linked list library

Design and implementation of a compressed linked list library Yoran Heling Design and implementation of a compressed linked list library

Add to Reading List

Source URL: dev.yorhel.nl

- Date: 2011-11-29 16:11:45
    412Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar

    Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar

    Add to Reading List

    Source URL: ilyasergey.net

    - Date: 2018-03-26 18:04:21
      413EXPOFORUM INTERNATIONAL. STRATEGY IMPLEMENTATION: RESULTS AND PROSPECTS

      EXPOFORUM INTERNATIONAL. STRATEGY IMPLEMENTATION: RESULTS AND PROSPECTS

      Add to Reading List

      Source URL: www.expoforum.ru

      - Date: 2016-02-20 02:05:55
        414#Friday 20 September 2013 Judgments of the European Court of Human Rights Effects and Implementation

        #Friday 20 September 2013 Judgments of the European Court of Human Rights Effects and Implementation

        Add to Reading List

        Source URL: www.echr.coe.int

        - Date: 2013-09-24 04:07:13
          415High-level Conference on the “Implementation of the European Convention on Human Rights, our shared responsibility” Brussels Declaration 27 March 2015 The High-level Conference meeting in Brussels on 26 and 27 March

          High-level Conference on the “Implementation of the European Convention on Human Rights, our shared responsibility” Brussels Declaration 27 March 2015 The High-level Conference meeting in Brussels on 26 and 27 March

          Add to Reading List

          Source URL: www.echr.coe.int

          - Date: 2016-02-04 08:07:17
            416The Turtles Project: Design and Implementation of Nested Virtualization Muli Ben-Yehuda† Michael D. Day‡ Zvi Dubitzky†

            The Turtles Project: Design and Implementation of Nested Virtualization Muli Ben-Yehuda† Michael D. Day‡ Zvi Dubitzky†

            Add to Reading List

            Source URL: www.usenix.org

            - Date: 2010-09-23 11:16:26
              417Extension and Implementation of ClassSheet Models J´acome Cunha, Jo˜ao Paulo Fernandes, Jorge Mendes, Jo˜ao Saraiva HASLab, INESC TEC & Universidade do Minho, Portugal {jacome,jpaulo,jorgemendes,jas}@di.uminho.pt

              Extension and Implementation of ClassSheet Models J´acome Cunha, Jo˜ao Paulo Fernandes, Jorge Mendes, Jo˜ao Saraiva HASLab, INESC TEC & Universidade do Minho, Portugal {jacome,jpaulo,jorgemendes,jas}@di.uminho.pt

              Add to Reading List

              Source URL: alfa.di.uminho.pt

              - Date: 2012-06-25 11:35:20
                418Report: Security Audit of BTC Relay  implementation  Andrew Miller, Feb 7 2015      This is the final report covering a short and preliminary audit (budget: 10 hours) of the ​

                Report: Security Audit of BTC Relay  implementation  Andrew Miller, Feb 7 2015      This is the final report covering a short and preliminary audit (budget: 10 hours) of the ​

                Add to Reading List

                Source URL: cs.umd.edu

                - Date: 2016-02-28 13:13:13